1. A beginner's guide to R /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : R (Computer program language),Science-- Statistical methods, Software.,Statistics-- Data processing, Software.,MATHEMATICS-- Probability & Statistics-- General.,R (Computer program language),R (Computer program language),Science-- Statistical methods.,Science-- Statistical methods.,Statistics-- Data processing.,Statistics-- Data processing.

رده :
QA276
.
R3
Z88
2009

2. A beginner's guide to R /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : R (Computer program language),Science-- Statistical methods, Software.,Statistics-- Data processing, Software.,MATHEMATICS-- Probability & Statistics-- General.,R (Computer program language),Science-- Statistical methods.,Statistics-- Data processing.

رده :
QA276
.
45
.
R3
Z88
2009eb

3. An Introduction to Quantum Computing Algorithms

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Computer software.,Mathematics.,Quantum theory.

4. Building Innovation Pipelines through Computer-Aided Innovation

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.

5. Cellular automata and discrete complex systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Cellular automata, Congresses,Computer science-- Mathematics, Congresses,Software

رده :
QA267
.
5
.
C45

6. Certified Programs and Proofs :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.

رده :
QA76
.
9
.
M35
E358
2012

7. Coalgebraic methods in computer science

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses,Computer software-- Mathematics, Congresses

رده :
QA76
.
9
.
M35
W67
2012eb

8. Coalgebraic methods in computer science :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.

رده :
QA76
.
9
.
M35

9. Collegium Logicum.

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Computer software.,Mathematics.

10. Combinatorial Algorithms

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Mathematics. ; Data structures (Computer science). ; Application software. ; Computer communication systems. ; Computer graphics. ; Algorithms. ; Discrete Mathematics in Computer Science. ; -Computer science

11. Communication-Based Systems

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebra.,Computer science.,Mathematics.,Software engineering.,Systems theory.

12. FME 2002 :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses

رده :
QA76
.
76
.
D47
I593
2002

13. FME 2003 :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses

رده :
QA76
.
76
.
D47
I593
2003

14. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design

رده :
QA
76
.
L28
Vol
.
2805

15. FME 2002 : formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design

رده :
QA
76
.
L28
Vol
.
2391

16. Facing the Multicore - Challenge II

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems

17. Fields of Logic and Computation II

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها

رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,

18. Graph Colouring and the Probabilistic Method

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Combinatorics.,Computer science.,Computer software.,Distribution (Probability theory).,Information theory.,Mathematics.

19. Graph Drawing and Network Visualization :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Mathematics. ; Data structures (Computer science). ; Software engineering. ; Algorithm Analysis and Problem Complexity. ; -Algorithms. ; Application software. ; Computer graphics. ; Computer science

20. Graph and Model Transformation

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer science,کامپیوتر,a03,a03,Software engineering.,Categories (Mathematics),م‍ه‍ن‍دس‍ی‌ ن‍رم‌ اف‍زار ,رسته‌ها (ریاضیات)

رده :
QA
76
.
G7
2015
E-Book
,